Logical Equivalence Without Using Truth Table